Verifikation von UML-Statecharts unter besonderer Berücksichtigung von Speicherverbrauch und Laufzeit des Model Checkers

Automatisierung der Einzelkornsaat unter besonderer Berücksichtigung der Aussaatqualität

Ziel des Projekts ist die Optimierung von Aussaatbild und Flächenleistung. Erreicht wird dies durch die weitgehende Automatisierung des Arbeitsprozesses. Dabei nehmen die Ermittlung der Aussaatqualität und die Steuerung der Vorfahrtsgeschwindigkeit eine zentrale Stellung ein. Beschrieben werden weiterhin die Konfiguration des Gesamtsystems und dessen Felderprobung.

Das AUTOSAR XML Schema und seine Bedeutung für die Implementierung von AUTOSAR Werkzeugen

Das AUTOSAR XML Schema wird als das Ergebnis eines komplexen Engineering-Prozesses aus dem sog. AUTOSAR Metamodell erzeugt. Seine Hauptaufgabe besteht in der Unterstützung des Datenaustauschs zwischen AUTOSAR Werkzeugen. Das Schema deckt den gesamten Modellierungskontext (die sogenannten Templates) von AUTOSAR ab. Dieser Beitrag diskutiert auf der Basis von Erfahrungen aus realen Softwareprojet...

Schema Evolution in Prozess-Management-Systemen

Eine der wichtigsten Anforderungen an Prozess-Management-Systeme in der Praxis ist die Unverst ̈ anderungen zur Laufzeit. Dies beinhaltet utzung von Prozess ̈ sowohl die Modifikation einzelner Prozessinstanzen (z.B. als Reaktion auf Ausnahmesituationen) als auch Anderungen auf Prozesstypebene (z.B. Anpassung von Prö zessen an neue gesetzliche Rahmenbedingungen). Bei Prozesstypänderungen ist es of...

Prozesse und Abläufe beim kollaborativen Wissenserwerb mittels computergestützter Videoannotation

Computergestützte Annotation und Analyse von Videoinhalten finden zunehmend Anwendung in unterschiedlichen Lehr-Lernszenarien. Eine Reihe von Projekten hat sich mit dem Forschungsbereich Videoannotation mit unterschiedlichen Forschungsschwerpunkten beschäftigt, diese fokussierten jedoch stets einen oder nur wenige Bestandteile des gesamten Annotationsprozesses. Bisher wurde den einzelnen Aufgab...

Über die Gestaltung schulischer Netzwerke unter besonderer Berücksichtigung von Datenschutz und Datensicherheit auf Basis einer quantitativen Befragung an Schulen